\newcommand{\rlc}[3]
{

\begin{center}
\small
\begin{tabular}{l}
{\bf Class\_Name} {\it #1}\\
{\bf Relevant\_Attribute} {\it \{#2\}}\\
\end{tabular}
\end{center}
}

\newcommand{\rlcs}[3]
{

\begin{center}
\small
\begin{tabular}{l p{4cm} l}
{\bf Class\_Name} {\it #1}\\
{\bf Relevant\_Attributes} {\it \{#2\}} && {\bf (1)}\\
{\bf [Id} {\it #3}{\bf ]}
\end{tabular}
\end{center}
}


\newcommand{\rlm}[5]
{

\begin{center}
\small
\begin{tabular}{l}
{\bf Relevant\_Execution} {\it #1}\\
{\bf ActionName} {\it #2}\\
{\bf Subject} {\it #3}\\
{\bf Object} {\it #4}\\
{\bf If} {\it #5}
\end{tabular}
\end{center}
}

\newcommand{\rlms}[5]
{

\begin{center}
\small
\begin{tabular}{l p{1cm} l}
{\bf Relevant\_Execution} {\it #1}\\
{\bf ActionName} {\it #2}\\
{\bf [Subject} {\it #3}{\bf ]}&& {\bf (2)}\\
{\bf [Object} {\it #4}{\bf ]}\\
{\bf [If} {\it #5}{\bf ]}
\end{tabular}
\end{center}
}



\newcommand{\empower}[3]
{

%\begin{table}[h!t]

\begin{center}
\small
\begin{tabular}{l}
{\bf Empower} {\it #1}\\
{\bf Instance\_Of} {\it #2}\\
{\bf If} {\it #3}
\end{tabular}
\end{center}


%\end{table}
}
\newcommand{\holds}[2]
{

\begin{center}
\small
\begin{tabular}{l p{2cm} l}
{\bf Context$_{SAO}$} {\it #1}\\
{\bf While} {\it #2} && {\bf (6)}
%{\bf Subject} {\it #3}\\
%{\bf Object} {\it #4}\\
\end{tabular}
\end{center}
}

\newcommand{\hold}[2]
{

\begin{center}
\small
\begin{tabular}{l}
{\bf Context$_{SAO}$} {\it #1}\\
{\bf While} {\it #2}
%{\bf Subject} {\it #3}\\
%{\bf Object} {\it #4}\\
\end{tabular}
\end{center}
}

\newcommand{\holda}[3]
{

\begin{center}
\small
\begin{tabular}{l}
{\bf Context$_{SAO}$} {\it #1}\\
{\bf After} {\it #2}\\
{\bf If} {\it #3}
\end{tabular}
\end{center}
}

\newcommand{\holdu}[3]
{

\begin{center}
\small
\begin{tabular}{l}
{\bf Context$_{SAO}$} {\it #1}\\
{\bf Until} {\it #2}\\
{\bf If} {\it #3}
\end{tabular}
\end{center}
}
\newcommand{\holdas}[3]
{

\begin{center}
\small
\begin{tabular}{l p{2cm} l}
{\bf Context$_{SAO}$} {\it #1}\\
{\bf After} {\it #2}&& {\bf (7)}\\
{\bf [If} {\it #3}{\bf ]}
\end{tabular}
\end{center}
}

\newcommand{\holdus}[3]
{

\begin{center}
\small
\begin{tabular}{l p{2cm} l}
{\bf Context$_{SAO}$} {\it #1}\\
{\bf Until} {\it #2}&& {\bf (8)}\\
{\bf [If} {\it #3}{\bf ]}
\end{tabular}
\end{center}
}

\newcommand{\use}[3]
{

\begin{center}
\small
\begin{tabular}{l}
{\bf Use\_In} {\it #1}\\
{\bf Instance\_Of} {\it #2}\\
{\bf If} {\it #3}
\end{tabular}
\end{center}
}

\newcommand{\consider}[3]
{

\begin{center}
\small
\begin{tabular}{l}
{\bf Consider} {\it #1}\\
{\bf ActionName} {\it #2}\\
{\bf If} {\it #3}
\end{tabular}
\end{center}
}

\newcommand{\considerni}[2]
{

\begin{center}
\small
\begin{tabular}{l}
{\bf Consider} {\it #1}\\
{\bf ActionName} {\it #2}
%{\bf If} {\it #3}
\end{tabular}
\end{center}
}

\newcommand{\eq}{
$=$
}
\newcommand{\considers}[3]
{

\begin{center}
\small
\begin{tabular}{l p{2cm} l}
{\bf Consider} {\it #1}\\
{\bf ActionName} {\it #2}&& {\bf (5)}\\
%{\bf [If} {\it #3}{\bf ]}
\end{tabular}
\end{center}
}




 \newcommand{\comments}[1]{} 


\newcommand{\las}{
$\;\leftarrow\;$
}

\newcommand{\m}[1]{
\mathcal{#1}
}
\newcommand{\mb}[1]{
//Users//yehia//Work//Bibliography//#1
}
\newcommand{\image}[4]
{
\begin{figure}[t]
\centering
\includegraphics[width=#2cm]{Images//#1}
\caption{#3}
\label{#4}
\end{figure}
}
\newcommand{\tb}[1]{
\multicolumn{1}{|c|}{$#1$}
}

%\newcommand{\comment}{}

\newcommand{\wed}
{\;\wedge\;}


\newcommand{\ti}[1]
{\textit{#1}}


\newcommand{\nedsc}[2]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1\;\mathbf{whenever}\; #2$
\end{tabular}
\end{table}
}

\newcommand{\neddc}[4]
{


\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1\;\mathbf{whenever}\; #2$\\
$#3\;\mathbf{whenever}\; #4$
\end{tabular}
\end{table}


}

\newcommand{\neddl}[3]
{


\begin{table}[h!t]
\centering
\small
\begin{tabular}{c}
$#1\;\mathbf{whenever}\; #2$\\
$#3$
\end{tabular}
\end{table}


}



\newcommand{\edsc}[3]
{

\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{after}\; #2$\\
$\mathbf{if}\;#3$
\end{tabular}
\end{table}


}

\newcommand{\edsca}[3]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{after}\; #2 \; \mathbf{if}\;#3$
\end{tabular}
\end{table}
}

\newcommand{\eddi}[4]
{
\begin{table}[h]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{after}\; #2$\\
$\mathbf{if}\;#3$\\
\hspace{10pt}$#4$
\end{tabular}
\end{table}
}


\newcommand{\edscni}[2]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{after}\; #2$
\end{tabular}
\end{table}

}

\newcommand{\eddc}[7]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l p{#7cm} l}
$#1$&&$#4$\\
$\mathbf{after}\; #2$&&$\mathbf{after}\; #5$\\
$\mathbf{if}\;#3$&&$\mathbf{if}\;#6$
\end{tabular}
\end{table}
}

\newcommand{\eddcni}[5]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l p{#5cm} l}
$#1$&&$#3$\\
$\mathbf{after}\; #2$&&$\mathbf{after}\; #4$
\end{tabular}
\end{table}
}

\newcommand{\eddcdi}[9]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l p{#9cm} l}
$#1$&&$#5$\\
$\mathbf{after}\; #2$&&$\mathbf{after}\; #6$\\
$\mathbf{if}\;#3$&&$\mathbf{if}\;#7$\\
\hspace{10pt}$#4$&&\hspace{10pt}$#8$
\end{tabular}
\end{table}
}


\newcommand{\ltnl}[1]
{
\begin{tabbing}
\hspace{50pt}\=\hspace{-30pt} $#1$ $\leftarrow$\\
\end{tabbing}
}


\newcommand{\ltsl}[2]
{
\begin{tabbing}
\hspace{50pt}\=\hspace{-30pt} $#1$ $\leftarrow$\\
\> $#2$
\end{tabbing}
}

\newcommand{\ltdl}[3]
{
\begin{tabbing}
\hspace{50pt}\=\hspace{-30pt} $#1$ $\leftarrow$\\
\> $#2$\\
\> $#3$
\end{tabbing}
}

\newcommand{\lttl}[4]
{
\begin{tabbing}
\hspace{50pt}\=\hspace{-30pt} $#1$ $\leftarrow$\\
\> $#2$\\
\> $#3$\\
\> $#4$
\end{tabbing}
}

\newcommand{\ltfl}[5]
{
\begin{tabbing}
\hspace{50pt}\=\hspace{-30pt} $#1$ $\leftarrow$\\
\> $#2$\\
\> $#3$\\
\> $#4$\\
\> $#5$
\end{tabbing}
}
\newcommand{\arni}[2]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{initiates}\; #2$
\end{tabular}
\end{table}
}


\newcommand{\arsi}[3]
{

\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{initiates}\; #2$\\
$\mathbf{if}\;#3$
\end{tabular}
\end{table}


}

\newcommand{\ardi}[4]
{

\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{initiates}\; #2$\\
$\mathbf{if}\;#3$\\
\hspace{10pt}$#4$
\end{tabular}
\end{table}


}

\newcommand{\arfi}[6]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{initiates}\; #2$\\
$\mathbf{if}\;#3$\\
\hspace{10pt}$#4$\\
\hspace{10pt}$#5$\\
\hspace{10pt}$#6$
\end{tabular}
\end{table}
}
\newcommand{\ardc}[4]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{initiates}\; #2$\\
\hspace{42pt}$#3$\\
$\mathbf{if}\;#4$
\end{tabular}
\end{table}
}


\newcommand{\ardcdi}[5]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{initiates}\; #2$\\
\hspace{42pt}$#3$\\
$\mathbf{if}\;#4$\\
\hspace{10pt}$#5$
\end{tabular}
\end{table}
}

\newcommand{\ardcti}[6]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{initiates}\; #2$\\
\hspace{42pt}$#3$\\
$\mathbf{if}\;#4$\\
\hspace{10pt}$#5$\\
\hspace{10pt}$#6$
\end{tabular}
\end{table}
}


\newcommand{\arti}[5]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{initiates}\; #2$\\
$\mathbf{if}\;#3$\\
\hspace{10pt}$#4$\\
\hspace{10pt}$#5$
\end{tabular}
\end{table}
}

\newcommand{\elni}[2]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{causes}\; #2$
\end{tabular}
\end{table}
}

\newcommand{\eldcni}[3]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{causes}\; #2$\\
\hspace{35pt}$#3$
\end{tabular}
\end{table}
}

\newcommand{\selsl}[2]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1 \;\mathbf{if}\; #2$
\end{tabular}
\end{table}
}

\newcommand{\elsi}[3]
{

\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{causes}\; #2$\\
$\mathbf{if}\;#3$
\end{tabular}
\end{table}


}

\newcommand{\elsisl}[3]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{causes}\; #2\;\mathbf{if}\;#3$
\end{tabular}
\end{table}
}


\newcommand{\eldi}[4]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{causes}\; #2$\\
$\mathbf{if}\;#3$\\
\hspace{10pt}$#4$
\end{tabular}
\end{table}
}

\newcommand{\eldc}[4]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{causes}\; #2$\\
\hspace{40pt}$#3$\\
$\mathbf{if}\;#4$
\end{tabular}
\end{table}
}

\newcommand{\eldcdi}[5]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{causes}\; #2$\\
\hspace{35pt}$#3$\\
$\mathbf{if}\;#4$\\
\hspace{10pt}$#5$

\end{tabular}
\end{table}
}

\newcommand{\eldcti}[6]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{causes}\; #2$\\
\hspace{35pt}$#3$\\
$\mathbf{if}\;#4$\\
\hspace{10pt}$#5$\\
\hspace{10pt}$#6$
\end{tabular}
\end{table}
}

\newcommand{\eltcdi}[6]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{causes}\; #2$\\
\hspace{35pt}$#3$\\
\hspace{35pt}$#4$\\
$\mathbf{if}\;#5$\\
\hspace{10pt}$#6$
\end{tabular}
\end{table}
}

\newcommand{\eltcti}[7]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{causes}\; #2$\\
\hspace{35pt}$#3$\\
\hspace{35pt}$#4$\\
$\mathbf{if}\;#5$\\
\hspace{10pt}$#6$\\
\hspace{10pt}$#7$
\end{tabular}
\end{table}
}

\newcommand{\elfcdi}[7]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{causes}\; #2$\\
\hspace{35pt}$#3$\\
\hspace{35pt}$#4$\\
\hspace{35pt}$#5$\\
$\mathbf{if}\;#6$\\
\hspace{10pt}$#7$

\end{tabular}
\end{table}
}

\newcommand{\elfcti}[8]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{causes}\; #2$\\
\hspace{35pt}$#3$\\
\hspace{35pt}$#4$\\
\hspace{35pt}$#5$\\
$\mathbf{if}\;#6$\\
\hspace{10pt}$#7$\\
\hspace{10pt}$#8$
\end{tabular}
\end{table}
}
\newcommand{\elfivecti}[9]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
$#1$\\
$\mathbf{causes}\; #2$\\
\hspace{35pt}$#3$\\
\hspace{35pt}$#4$\\
\hspace{35pt}$#5$\\
\hspace{35pt}$#6$\\
$\mathbf{if}\;#7$\\
\hspace{10pt}$#8$\\
\hspace{10pt}$#9$
\end{tabular}
\end{table}
}


\newcommand{\eldCdc}[9]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l p{#9cm} l}
$#1$&&$#5$\\
$\mathbf{causes}\; #2$&&$\mathbf{causes}\; #6$\\
\hspace{35pt}$#3$&&\hspace{35pt}$#7$\\
$\mathbf{if}\;#4$&&$\mathbf{if}\;#8$
\end{tabular}
\end{table}
}

\newcommand{\eldC}[7]
{


\begin{table}[h!t]
\centering
\small
\begin{tabular}{l p{#7cm} l}
$#1$&&$#4$\\
$\mathbf{causes}\; #2$&&$\mathbf{causes}\; #5$\\
$\mathbf{if}\;#3$&&$\mathbf{if}\;#6$
\end{tabular}
\end{table}


}

\newcommand{\eldCni}[5]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l p{#5cm} l}
$#1$&&$#3$\\
$\mathbf{causes}\; #2$&&$\mathbf{causes}\; #4$\\
\end{tabular}
\end{table}
}


\newcommand{\eldcolni}[5]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l p{#5cm} l}
$#1$&&$#3$\\
$\mathbf{causes}\; #2$&&$\mathbf{causes}\; #4$\\
%$\mathbf{if}\;#3$&&$\mathbf{if}\;#6$
\end{tabular}
\end{table}
}



\newcommand{\srsl}[1]
{
\begin{center}
\small
\textit{#1}
\end{center}
}

\newcommand{\srdl}[2]
{
\begin{center}
\small
\textit{#1}\\
\textit{#2}
\end{center}
}

\newcommand{\srtl}[3]
{
\begin{center}
\small
\textit{#1}\\
\textit{#2}\\
\textit{#3}
\end{center}
}


\newcommand{\srfl}[4]
{
\begin{center}
\small
\textit{#1}\\
\textit{#2}\\
\textit{#3}\\
\textit{#4}
\end{center}
}

\newcommand{\srsil}[6]
{
\begin{center}
\small
\textit{#1}\\
\textit{#2}\\
\textit{#3}\\
\textit{#4}\\
\textit{#5}\\
\textit{#6}

\end{center}
}

\newcommand{\srsel}[7]
{
\begin{center}
\small
\textit{#1}\\
\textit{#2}\\
\textit{#3}\\
\textit{#4}\\
\textit{#5}\\
\textit{#6}\\
\textit{#7}

\end{center}
}

\newcommand{\srel}[8]
{
\begin{center}
\small
\textit{#1}\\
\textit{#2}\\
\textit{#3}\\
\textit{#4}\\
\textit{#5}\\
\textit{#6}\\
\textit{#7}\\
\textit{#8}

\end{center}
}
\newcommand{\crsl}[1]
{
\begin{center}
\small
\textit{#1}
\end{center}
}

\newcommand{\crdl}[2]
{
\begin{center}
\small
\textit{#1}\\
\textit{#2}
\end{center}
}

\newcommand{\crttl}[3]
{
\begin{center}
\small
\textit{#1}\\
\textit{#2}\\
\textit{#3}
\end{center}
}
\newcommand{\crfl}[4]
{
\begin{center}
\small
#1\\
#2\\
#3\\
#4
\end{center}
}

\newcommand{\crfil}[5]
{
\begin{center}
\small
#1\\
#2\\
#3\\
#4\\
#5
\end{center}
}
\newcommand{\tctl}[3]
{
\begin{table}[h!t]
\centering
\small
\begin{tabular}{l}
\textit{#1}\\
\textit{#2}\\
\textit{#3}
\end{tabular}
\end{table}
}

\newcommand{\fig}[4]
{
\begin{figure}[t]
\centering
\includegraphics[width=#4cm]{Images/#1}
\caption{#3}
#2
\end{figure}
}

\newcommand{\srule}[2]{\mbox{$\frac{\displaystyle {#1}}{\displaystyle
{#2} }  $}
}
\newcommand{\rcv}{\vartriangleleft}
\newcommand{\snd}{\vartriangleright}

\newcommand{\rcva}{\trianglelefteq}
\newcommand{\snda}{\trianglerighteq}

\newcommand{\rcvp}{\blacktriangleleft}
\newcommand{\sndp}{\blacktriangleright}


\newcommand{\uns}[1]{\mbox{$\langle {#1} \rangle$}}
\newcommand{\lpv}{\mbox{$\{\!|$}}      %{|
\newcommand{\rpv}{\mbox{$|\!\}$}}      %|}
\newcommand{\td}{\mbox{$\triangleright$}}

\newcommand{\Ra}{\mbox{$\Rightarrow$}}

\newcommand{\xr}{\mbox{$\{\![$}}      %{|
\newcommand{\rar}{\mbox{$\Rightarrow$}}
\newcommand{\Lra}{\Longrightarrow}

\newcommand{\xl}{\mbox{$]\!\}$}}      %|}
\newcommand{\da}{\downarrow}
\newcommand{\Da}{\Downarrow}
\newcommand{\gr}{\rhd}
\newcommand{\gl}{\lhd}
\newcommand{\glr}{\mbox{$\lhd\rhd$}}


\newcommand{\Gr}{\blacktriangleright}
\newcommand{\Gl}{\blacktriangleleft}
\newcommand{\Glr}{\blacktriangleleft \blacktriangleright}
\newcommand{\bs}{\backslash}
\newcommand{\Ua}{\Uparrow}
\newcommand{\ua}{\uparrow}
\newcommand{\lar}{\looparrowright}
\newcommand{\ra}{\rightarrow}
\newcommand{\rlh}{\rightleftharpoons}
\newcommand{\mkwd}[1]{\mbox{\sf #1}}

\newcommand{\ct}[1]{\mbox{$\unrhd_P {#1}$}}
\newcommand{\be}[3]{\mbox{${#1}\blacktriangleleft{#2}\unrhd_P {#3}$}}
\newcommand{\dc}[2]{\mbox{${#1}\blacktriangleleft{#2}$}}

\newcommand{\alf}{\alpha}
\newcommand{\bet}{\beta}


\newcommand{\lc}{\mbox{$[\![$}}
\newcommand{\rc}{\mbox{$]\!]$}}
\newcommand{\sem}[1]{\lc\; #1 \;\rc}

\newcommand{\false}{\mbox{$f\!\!f$}}
\newcommand{\true}{\mbox{$t\!t$}}

\newcommand{\Gt}[1]{\hbox{\fontencoding{U}\fontfamily{yinit}\selectfont
                          {\small #1}}}
%\newcommand{\clot}[1]{\mbox{
%        \begin{tabular}{p{.95\textwidth}}
%       \begin{center}
%           \hspace{-0.35cm}\rule{.95\textwidth}{0.5mm}
%           \begin{center}
%         \vspace{.2cm}
%              \parbox{.95\textwidth}{#1} \\
%           \end{center}
%       \vspace{.2cm}
%           \hspace{-0.35cm}\rule{.95\textwidth}{0.5mm}\\
%       \end{center}
%        \end{tabular}
%   }}

\newcommand{\clot}[1]{\mbox{
        \begin{tabular}{p{\textwidth}}
        \begin{center}
           \hspace{-0.60cm}\rule{\textwidth}{0.5mm}
           \begin{center}
          \vspace{.2cm}
              \parbox{.95\textwidth}{#1} \\
           \end{center}
        \vspace{.2cm}
           \hspace{-0.60cm}\rule{\textwidth}{0.5mm}\\
        \end{center}
         \end{tabular}
    }}


%%%%%%%%

\newcommand{\hs}[1]{\hspace{#1mm}}


\newlength{\filet}
\newlength{\tiwidth}

\newcommand{\regled}[1]{%
\settowidth{\tiwidth}{\bm{#1}}
     \setlength{\filet}{\textwidth}
     \addtolength{\filet}{-\tiwidth}
     \addtolength{\filet}{-1mm}
\noindent \bm{#1} \rule{\filet}{0.32mm}
\vspace{-1.2\baselineskip}}



\newcommand{\reglef}{\vspace{-0.7\baselineskip}
\noindent \rule{\textwidth}{0.32mm} \noindent
\\}

\newcommand{\para}[1]{\paragraph{\textbf{#1}}}

\newcommand{\ora}[1]{\overrightarrow{#1}}
\newcommand{\ola}[1]{\overleftarrow{#1}}
\newcommand{\mc}[1]{\mathcal{#1}}
